(0 7 2)(1 20 16)(3 18 17)(4 10 6)(5 12 9)(8 14 11)(13 19 15)
ALLOWS (11/8)-SEQUENCE
1: (5 9 12)
(0 7 2)(1 20 16)(3 18 17)(4 10 6)(5 9 12)(8 14 11)(13 19 15)
2: (4 10 6)
(0 7 2)(1 20 16)(3 18 17)(4)(5 9 12)(6)(8 14 11)(10)(13 19 15)
3: (5 9 12)
(0 7 2)(1 20 16)(3 18 17)(4)(5)(6)(8 14 11)(9)(10)(12)(13 19 15)
4: (8 14 11)
(0 7 2)(1 20 16)(3 18 17)(4)(5)(6)(8)(9)(10)(11)(12)(13 19 15)(14)